https://www.passeidireto.com/pergunta/133598554/a-usando-as-formulas-para-cos-x-y-e-sen-x-y-prove-que-tg-x−-y-tg-x-−-tg-y-1-tg-x
Recomendo esse arquivo que achei no Passei Direto